Elementary relative tractor calculus for Legendrean contact structures

About Complex Structures in Conformal Tractor Calculus

The aim of this paper is to describe the geometry of conformal structures in Lorentzian signature, which admit a lightlike conformal Killing vector field whose corresponding adjoint tractor acts as complex structure on the standard tractor bundle of conformal geometry. Key to the treatment of this problem is CR-geometry and the Fefferman construction. In fact, we will consider here partially in...

Action Structures for the -Calculus

In a previous paper, action structures were proposed as a variety of algebra to underlie concrete models of concurrent computation and interaction. That work is summarised here, to make the paper self-contained. In particular, the uniform construction of a process calculus upon an arbitrary action structure is reviewed. Another relevant concept from the previous paper is recalled, namely the no...

Elementary Control Structures

The Propositional Mu-Calculus is Elementary

ACKNOWLEDGEMENT: The work of t h e second a u t h o r was supported i n p a r t by NSF g r a n t MCS-830287G.

Elementary calculus in Riesz MV - algebras q

We introduce and study a topological structure over vectorial and Riesz MV-algebras, similar to metric spaces. Continuous functions with values in these spaces are studied and a fix point theorem is obtained. Moreover we introduce the concept of derivative and integral of MV-valued functions; i.e. functions with values in a Riesz MV-algebra. Finally we present two applications. 2003 Elsevier In...